航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

门限自回归模型参数的局部正交设计寻优法

在采用点值图确定门限区间个数的基础上，对门自回归模型中门限值、滞后步长、各门限区间模型阶数，利用正交设计方法寻优，计算工作量锐减，却可得到精度较高的预报模型。     

基于多相正交序列移位序列的CDMA通信系统

介绍多相正交序列的构造方法,对多相正交序列的自相关和互相关特性进行分析。提出采用多相正交序 列的移位序列作为扩频序列的通信方式,并给出接收端序列同步的实现方法。这种方式能解决低相数多相正交序列互 相关特性不理想,而高相数多相正交序列难以搜索的困难。     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。     

铝合金冷挤压工艺的优化

本文介绍了6A02、6063铝合金冷挤压试验过程。通过专门装置测试铝合金冷挤压中不同凹模表面粗糙度、挤压速度、润滑剂、坯料状态的下的挤压力,利用正交试验L9(34)得出最优工艺参数。结果表明冷挤压过程中模具表面并非越光越有利于成形,坯料也要针对不同的挤压材料应选用不同的热处理方法。本实验为铝合金冷挤压提供了可行的实验方法和生产依据。     

风洞天平校准的因子法、正交法及单元校

本文证明瑞典航空研究院天平校准用的因子法与我国多元校用的正交法同属正交法。这不仅有助于正确认识这两种方法,而且对多元校实现自动加载会带来方便。从天平静校与风洞实验结果看,用单元校、因子法与正交法对天平校准将具有相同的准确度。本文提出载荷状态变化量并以其为标准来计算三种校准方法的加载量时发现,单元校的载荷状态变化量最少,因而其加载劳动量也最小。但是,单元校时必须重视对静校装置寄生分量的分析,而因子法与正交法则具有对静校装置寄生分量的平均效应。显然,本文的主要论点与国内一般看法不同且有新意,这将有助于对校准方法的研究,同时对静校装置的应用和设计都将会是有益的。     

高速钻削复合材料的切削力

采用多种硬质合金钻头,在高转速和不同进给速度条件下对碳纤维/环氧树脂复合材料进行孔加工正交试验,通过研究其轴向力和扭矩以分析刀具条件和切削参数的适应性.结果表明:主轴转速是影响轴向力和扭矩的最主要因素,高转速钻削时轴向力和扭矩都显著减小;减小进给速度也使轴向力和扭矩减小,但其影响小于主轴转速.此外,钻头材质对轴向力和扭矩的影响大于钻头几何形状和进给速度;进给速度对轴向力的影响较大,而钻头几何形状对扭矩的影响较大.     

精密加工中切削方向毛刺生成机理的研究(英文)

金属切削毛刺是切削加工中产生的常见现象之一。本研究以金属切削实验为基础 ,对二维精密切削中切削方向毛刺的形成过程、主要影响因素及其变化规律进行了系统的实验研究和相应的理论分析 ,结果表明 :( 1 )切削方向毛刺形成过程为正常切削、挠曲变形、弹性效应、继续切削和剪切断裂分离 ;( 2 )发现了切削方向毛刺形成过程中的切屑与工件表面剪切断裂分离的特殊现象 ;( 3)切削方向毛刺尺寸和形态随着切削条件和刀具几何参数的变化而变化。     

神经网络在未来超分辨雷达中的应用

最新的技术发展已为研制超分辨雷达创造了条件。它能够突破普通雷达基于匹配滤波原理的分辨能力,而实现超分辨。超分辨雷达的巨大计算量通常来自求解非线性最小二乘问题时的多维搜索。本文针对这一问题,研究了雷达信号处理中的两个典型例子:(1)利用阵列处理检测个数已知而方向未知的雷达目标;(2)对波音727飞机进行超分辨距离多普勒成像。说明Hop-field神经网络通过集体运算能够求解各种困难的最优化问题,因而在未来的超分辨雷达中有广阔的应用前景。